perm filename DOMAIN[W83,JMC] blob sn#698866 filedate 1983-01-30 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	domain[w83,jmc]		Corrected section on domain circumscription
C00003 ENDMK
CāŠ—;
domain[w83,jmc]		Corrected section on domain circumscription

	The section of my "Circumscription: a form of non-monotonic
reasoning" on domain circumscription had an important misprint.
Formulas (20) and (21) had the symbol āˆ§ where ā‰” should have been.
However, when I read it after several years, it seemed to me that
the section wasn't very clear even apart from the misprint, so here's
another version.

	5. Domain Circumscription